On the Use of CSP Semantic Information in SAT Models

Authors: Claudia Vasconcellos-Gaete, Vincent Barichard, Frédéric Lardeux

Research in Computing Science, Vol. 148(11), pp. 127-138, 2019.

PDF: On the Use of CSP Semantic Information in SAT Models
PDF: On the Use of CSP Semantic Information in SAT Models